// PRIMARY COLORS
@seti-primary: @blue;
@seti-primary-text: @blue-text;
@seti-primary-highlight: @blue-highlight;
